This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
Lee masThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Lee mas